A Computational Framework for Formalizing Rules and Managing Changes in Normative Systems

Legal texts are typically written in a natural language. However, a legal text that is written in a formal language has the advantage of being subject to automation, at least partially. Such a translation is not easy, and the matter is even more complex because the law changes with time, so if we formalized a legal text that was originally written in natural language, there is a need to keep track of the change. This thesis proposes original developments on these subjects. In order to formalize a legal document, we provide a pipeline for the translation of a legal text from natural to formal language and we apply it to the case of natural resources contracts. In general, adjectives play an important role in a text and they allow to characterize it: for this reason we developed a logical system aimed at reasoning with gradable adjectives. Regarding norm change, we provide an ontology to represent change in a normative system, some basic mechanisms by which an agent may acquire new norms, and a study on the problem of revising a defeasible theory by only changing its facts. Another contribution of this thesis is a general framework for revision that includes the previous points as specific cases

Diagnostic and prognostic values of PBMC proteins in amyotrophic lateral sclerosis

Abstract Amyotrophic lateral sclerosis (ALS) is a fatal motor neuron disease for which there are no validated biomarkers. Previous exploratory studies have identified a panel of candidate protein biomarkers in peripheral blood mononuclear cells (PBMCs) that include peptidyl-prolyl cis-trans isomerase A (PPIA), heat shock cognate protein 71 kDa (HSC70), heterogeneous nuclear ribonucleoprotein A2/B1 (hnRNPA2B1) and TDP-43. It has also been found that PPIA plays a key role in the assembly and dynamics of ribonucleoprotein (RNP) complexes and interacts with TDP-43. Its absence accelerates disease progression in a SOD1 mouse model of ALS, and low levels of PPIA in PBMCs are associated with early-onset ALS. However, the diagnostic and prognostic values of PPIA and the other candidate protein biomarkers have not been established. We analyzed the PBMC proteins in a well-characterized cohort of ALS patients (n=93), healthy individuals (n=104) and disease controls (n=111). We used a highly controlled sample processing procedure that implies two-step differential detergent fractionation. We found that the levels of the selected PBMC proteins in the soluble and insoluble fraction, combined, have a high discriminatory power for distinguishing ALS from controls, with PPIA, hnRNPA2B1 and TDP-43 being the proteins most closely associated with ALS. We also found a shift toward increased protein partitioning in the insoluble fraction in ALS and this correlated with a worse disease phenotype. In particular, low PPIA soluble levels were associated with six months earlier death. In conclusion, PPIA is a disease modifier with prognostic potential. PBMC proteins indicative of alterations in protein and RNA homeostasis are promising biomarkers of ALS, for diagnosis, prognosis and patient stratification

Exploring the Role of Killer Cell Immunoglobulin-Like Receptors and Their HLA Class I Ligands in Autoimmune Hepatitis

Background Natural killer cells are involved in the complex mechanisms underlying autoimmune diseases but few studies have investigated their role in autoimmune hepatitis. Killer immunoglobulin-like receptors are key regulators of natural killer cell-mediated immune responses. Methods and Findings KIR gene frequencies, KIR haplotypes, KIR ligands and combinations of KIRs and their HLA Class I ligands were investigated in 114 patients diagnosed with type 1 autoimmune hepatitis and compared with a group of 221 healthy controls. HLA Class I and Class II antigen frequencies were compared to those of 551 healthy unrelated families representative of the Sardinian population. In our cohort, type 1 autoimmune hepatitis was strongly associated with the HLA-B18, Cw5, DR3 haplotype. The KIR2DS1 activating KIR gene and the high affinity HLA-C2 ligands were significantly higher in patients compared to controls. Patients also had a reduced frequency of HLA-Bw4 ligands for KIR3DL1 and HLA-C1 ligands for KIR2DL3. Age at onset was significantly associated with the KIR2DS1 activating gene but not with HLA-C1 or HLA-C2 ligand groups. Conclusions The activating KIR gene KIR2DS1 resulted to have an important predictive potential for early onset of type 1 autoimmune hepatitis. Additionally, the low frequency of the KIR-ligand combinations KIR3DL1/HLA-Bw4 and KIR2DL3/HLA-C1 coupled to the high frequency of the HLA-C2 high affinity ligands for KIR2DS1 could contribute to unwanted NK cell autoreactivity in AIH-1

Effect of RNS60 in amyotrophic lateral sclerosis: a phase II multicentre, randomized, double-blind, placebo-controlled trial

Background and purpose Amyotrophic lateral sclerosis (ALS) is a fatal neurodegenerative disease with limited treatment options. RNS60 is an immunomodulatory and neuroprotective investigational product that has shown efficacy in animal models of ALS and other neurodegenerative diseases. Its administration has been safe and well tolerated in ALS subjects in previous early phase trials. Methods This was a phase II, multicentre, randomized, double-blind, placebo-controlled, parallel-group trial. Participants diagnosed with definite, probable or probable laboratory-supported ALS were assigned to receive RNS60 or placebo administered for 24 weeks intravenously (375 ml) once a week and via nebulization (4 ml/day) on non-infusion days, followed by an additional 24 weeks off-treatment. The primary objective was to measure the effects of RNS60 treatment on selected biomarkers of inflammation and neurodegeneration in peripheral blood. Secondary objectives were to measure the effect of RNS60 on functional impairment (ALS Functional Rating Scale-Revised), a measure of self-sufficiency, respiratory function (forced vital capacity, FVC), quality of life (ALS Assessment Questionnaire-40, ALSAQ-40) and survival. Tolerability and safety were assessed. Results Seventy-four participants were assigned to RNS60 and 73 to placebo. Assessed biomarkers did not differ between arms. The mean rate of decline in FVC and the eating and drinking domain of ALSAQ-40 was slower in the RNS60 arm (FVC, difference 0.41 per week, standard error 0.16, p = 0.0101; ALSAQ-40, difference -0.19 per week, standard error 0.10, p = 0.0319). Adverse events were similar in the two arms. In a post hoc analysis, neurofilament light chain increased over time in bulbar onset placebo participants whilst remaining stable in those treated with RNS60. Conclusions The positive effects of RNS60 on selected measures of respiratory and bulbar function warrant further investigation

Economic consequences of investing in anti-HCV antiviral treatment from the Italian NHS perspective : a real-world-based analysis of PITER data

OBJECTIVE: We estimated the cost consequence of Italian National Health System (NHS) investment in direct-acting antiviral (DAA) therapy according to hepatitis C virus (HCV) treatment access policies in Italy. METHODS: A multistate, 20-year time horizon Markov model of HCV liver disease progression was developed. Fibrosis stage, age and genotype distributions were derived from the Italian Platform for the Study of Viral Hepatitis Therapies (PITER) cohort. The treatment efficacy, disease progression probabilities and direct costs in each health state were obtained from the literature. The break-even point in time (BPT) was defined as the period of time required for the cumulative costs saved to recover the Italian NHS investment in DAA treatment. Three different PITER enrolment periods, which covered the full DAA access evolution in Italy, were considered. RESULTS: The disease stages of 2657 patients who consecutively underwent DAA therapy from January 2015 to December 2017 at 30 PITER clinical centres were standardized for 1000 patients. The investment in DAAs was considered to equal €25 million, €15 million, and €9 million in 2015, 2016, and 2017, respectively. For patients treated in 2015, the BPT was not achieved, because of the disease severity of the treated patients and high DAA prices. For 2016 and 2017, the estimated BPTs were 6.6 and 6.2 years, respectively. The total cost savings after 20 years were €50.13 and €55.50 million for 1000 patients treated in 2016 and 2017, respectively. CONCLUSIONS: This study may be a useful tool for public decision makers to understand how HCV clinical and epidemiological profiles influence the economic burden of HCV

Testing the reasoning of Large Language Models on tic-tac-toe

peer reviewe

Anti-skid surface

Il brevetto concerne un dispositivo idoneo all'ottimizzazione delle caratteristiche di resistenza allo scivolamento del piano carrabile (stradale o aeroportuale) finalizzato a incrementare la sicurezza di circolazione e ridurre i tempi di arrest

Hybrid Reinforcement (Rebars + Fibers) for elevated slabs

When designing Fiber Reinforced Concrete (FRC) structures, one of the basic issues is represented by the choice of a proper combination of fibers and conventional reinforcement that allows to obtain the best structural performance with the minimum amount of materials. The combination of rebars and fibers in the concrete matrix is generally known as Hybrid Reinforced Concrete (HRC). HRC represents a feasible solution in many structures; among these, slabs are gaining an increasing interest among practitioners. In fact, slabs are the most widespread structural elements in common practice since they are typically used to construct industrial floors (slab on grade), foundations (slab on piles) or floors (elevated slabs). This paper focuses on the design of FRC elevated slabs by using the most recent design provisions reported in the fib Model Code 2010. Emphasis will be given at the use of HRC for optimizing the slab reinforcement. In more detail, the results of a parametric study performed to design the Hybrid Reinforcement for elevated slabs will be presented and discussed and a procedure for designing the Hybrid Reinforcement will be proposed and verified by nonlinear finite element analyses